[FLINK-40089][table] Implement JSON_LENGTH function#28688
Conversation
| public static Integer jsonLength(String input, String pathSpec) { | ||
| return jsonLength(jsonApiCommonSyntax(input, pathSpec)); | ||
| } | ||
|
|
||
| private static Integer jsonLength(JsonPathContext context) { | ||
| if (context.hasException()) { | ||
| return null; | ||
| } | ||
| final Object value = context.obj; | ||
| if (value == null) { | ||
| return null; | ||
| } | ||
| if (value instanceof Map) { | ||
| return ((Map<?, ?>) value).size(); | ||
| } | ||
| if (value instanceof Collection) { | ||
| return ((Collection<?>) value).size(); | ||
| } | ||
| return 1; | ||
| } |
There was a problem hiding this comment.
Why to we need this? Don't we have already the runtime class JsonLengthFunction?
| super(BuiltInFunctionDefinitions.JSON_LENGTH, context); | ||
| } | ||
|
|
||
| public @Nullable Integer eval(@Nullable StringData jsonInput) { |
There was a problem hiding this comment.
nit: here and everywhere else make parameters/variables that are immutable final (not enforced on Flink but nicer to read).
| public @Nullable Integer eval(@Nullable StringData jsonInput) { | |
| public @Nullable Integer eval(final @Nullable StringData jsonInput) { |
| } | ||
| } | ||
|
|
||
| public static Integer jsonLength(String input, String pathSpec) { |
There was a problem hiding this comment.
We have these utilities here and some other in JsonLengthFuntion.java itself. Check if we don't already have utilities for performing the length check. If not, check if it makes sense to move the new private utilities you added to this file
gustavodemorais
left a comment
There was a problem hiding this comment.
Thanks for the contribution, @VasShabu! Good job on the first version of the PR. We'll go through some iterations to make sure things look good
Apart from what we already flagged above: we have two implementations of the same function. eval(json) uses a new Jackson readTree, eval(json, path) uses the existing Calcite path in SqlJsonUtils. Different parsers + different data models = they can disagree on the same input. We can make the design more consistent by using only one path. Duplicate ObjectMapper - reuse the configured one in SqlJsonUtils instead of a second bare instance. This is important because built-in functions are on the hot path. The logic might be invoked millions of times in a couple of seconds and we have to make sure they allocate as little as possible and their performance are optimized or else the engine will be wasting resources.
That said, In this case, we could go two paths
- Best performance: We build a custom parser to optimize it for length checking by skipping the children. MAPPER.getFactory().createParser(str), read first token; if START_ARRAY/START_OBJECT walk top level counting, skipping children via parser.skipChildren(). No tree alloc. Best for length-only.
- Simplest reuse the shared SqlJsonUtils path so both overloads share one parser.
Take a look at both paths and let me know what you think
| } else if (jsonNode.isTextual() | ||
| || jsonNode.isNumber() | ||
| || jsonNode.isBoolean() | ||
| || jsonNode.isBinary()) { |
There was a problem hiding this comment.
Isn't this check dead code? Can a jsonNode be binary? You can try to write a test to check if it's dead code or it's possible
There was a problem hiding this comment.
Are we sure the selected approach is the right one?
With this approach the same JSON will be parsed several times for queries like
SELECT JSON_LENGTH(my_json), JSON_LENGTH(my_json), JSON_LENGTH(my_json) FROM...or
SELECT JSON_LENGTH(my_json), JSON_VALUE(my_json, '$.a') FROM...| table: jsonLength(jsonObject[, path]) | ||
| description: | | ||
| Returns the number of elements in a JSON document, or the length of the value at the specified path if one is provided. | ||
| Returns NULL if the argument is NULL or the path does not locate a value. |
There was a problem hiding this comment.
this does not look true
simple tests show different behavior
SELECT json_length('$');
SELECT json_length('{');each returns -1 and the doc says nothing about this or did I miss anything?
There was a problem hiding this comment.
More findings:
- Doc doesn't reflect the real behavior: it returns
-1in case of invalid json, while docs says aboutNULL, e.g. querySELECT JSON_LENGTH('null'); - Strange handling of
nullvalues
like a queryboth in MySQL and in Flink it returnsSELECT json_length('{"a":[true, false, null]}', '$.a[1]')
1
nowin MySQL it returnsSELECT json_length('{"a":[true, false, null]}', '$.a[2]')
1, in Flink it returns-1why? - Seems need to check what the behavior should be in case of
lax/strictsince right now it is weirdSELECT json_length('{"x": {"a":1}, "y": {"a":[2, 3]}}', 'lax $.*.a'); -- returns 2
SELECT json_length('{"x": {"a":[1, 2, 3, 4]}, "y": {"a":[2, 3]}}', 'lax $.*.a'); -- returns 2
SELECT json_length('{"x": {"a":[3, 2 , 3]}, "y": {"a":null}, "z":{"a":1}}', 'lax *.a'); -- returns 3
SELECT json_length('{"x": {"a":[3, 2 , 3]}, "y": {"a":null}, "z":{"a":1}}', 'lax *.a[0]'); --returns 1
SELECT json_length('{"x": {"a":[3, 2 , 3]}, "y": {"a":null}, "z":{"a":1}}', 'lax *.a[1]'); --returns 1
SELECT json_length('{"x": {"a":[3, 2 , 3]}, "y": {"a":null}, "z":{"a":1}}', 'lax *.a[2]'); --returns 1
SELECT json_length('{"x": {"a":[3, 2 , 3]}, "y": {"a":null}, "z":{"a":1}}', 'lax *.a[3]'); --returns 0
| """ | ||
| return _unary_op("jsonUnquote")(self) | ||
|
|
||
| def json_length(self, path = None) -> 'Expression': |
There was a problem hiding this comment.
It seems that many databases throw an error, I am curious why we are not throwing an error. Also I see that there are best practises that we should document like using IF(string_column IS JSON, to protect against non json and avoid potential errors.
| final JsonPathContext context = jsonApiCommonSyntax(parsedInput, pathSpec); | ||
| final Object value = context.hasException() ? null : context.obj; | ||
|
|
||
| if (value instanceof LinkedList) { |
There was a problem hiding this comment.
is there a reason we expect LinkedList instead of just List?
| * same input expression the parsed JSON context is reused via a shared member variable, so a given | ||
| * JSON string is parsed at most once per row regardless of how many JSON functions read it. | ||
| */ | ||
| class JsonLengthCallGen extends CallGenerator { |
There was a problem hiding this comment.
ideally we should not have new classes in scala
| logger.codelog.name = org.apache.flink.table.runtime.generated.CompileUtils | ||
| logger.codelog.level = DEBUG | ||
| logger.codelog.appenderRef.test.ref = TestLogger |
There was a problem hiding this comment.
it might be helpful for local debug, however why do we need in repo and making it executable for every ci run?
| jsonValue, // f0: existing resource JSON | ||
| "{\"a\":1,\"b\":2}", // f1: object | ||
| "[1,2,3]", // f2: array | ||
| "\"abc\"", // f3: scalar string | ||
| "null", // f4: JSON null | ||
| "{", // f5: invalid JSON | ||
| ((String) null), // f6: SQL NULL | ||
| "$", | ||
| "{\"a\":[true, false, null]}", // f8 | ||
| "{}", // f9: empty object | ||
| "[]") // f10: empty array |
There was a problem hiding this comment.
not sure we need all these comments, what a value it could give to the reader who sees that {} is an empty object and then a comment telling same?
| assertThat(rows).containsExactlyInAnyOrder(Row.of(4, "account"), Row.of(4, "admin")); | ||
| assertThat(countJsonParse(extractGeneratedCode(sql))) | ||
| .as("JSON_LENGTH + JSON_VALUE on the same input should parse once") | ||
| .isEqualTo(1); |
There was a problem hiding this comment.
| .isEqualTo(1); | |
| .isOne(); |
nit
| return null; | ||
| } | ||
| final JsonPathContext context = jsonApiCommonSyntax(parsedInput, pathSpec); | ||
| final Object value = context.hasException() ? null : context.obj; |
There was a problem hiding this comment.
if context.hasException() is true, then value would be null. We should probably then short circuit and return null instead of continuing and risking a NPE
| if (context.hasException() || value == null) { | ||
| return pathExists(parsedInput.obj, pathSpec) ? 1 : null; | ||
| } |
There was a problem hiding this comment.
See comment: https://github.com/apache/flink/pull/28688/changes#r3577941235 and move it higher up
| return jsonLengthValue(value); | ||
| } | ||
|
|
||
| private static Integer jsonLengthValue(final Object value) { |
There was a problem hiding this comment.
Here we never return null so we can use primitiv int
| private static Integer jsonLengthValue(final Object value) { | |
| private static int jsonLengthValue(final Object value) { |
| * whether the matched value is a JSON null literal. Uses {@link Option#AS_PATH_LIST} so the | ||
| * result is the list of matched canonical paths, which is empty iff the path does not exist. | ||
| */ | ||
| private static boolean pathExists(Object json, String pathSpec) { |
There was a problem hiding this comment.
nit: Since you are at it
| private static boolean pathExists(Object json, String pathSpec) { | |
| private static boolean pathExists(final Object json, final String pathSpec) { |
| if (matched.size() != 1) { | ||
| if (context.mode == PathMode.STRICT || matched.isEmpty()) { | ||
| return null; | ||
| } | ||
| return matched.size(); | ||
| } |
There was a problem hiding this comment.
Could you please elaborate on this? In which conditions we get a null and in which conditions we get the size of the matched?
What is the purpose of the change
This pull request adds support for the built-in SQL function
JSON_LENGTH, which returns the number of top-level elements in a JSON array or object. Scalars have a length of 1, andNULLinput returnsNULL. Nested arrays or objects are not counted recursively.Brief change log
JsonLengthFunctionimplementing theJSON_LENGTHbuilt-in functionJSON_LENGTHas a built-in function in the function catalogJSON_LENGTHinJsonFunctionsITCaseVerifying this change
Please make sure both new and modified tests in this PR follow the conventions for tests defined in our code quality guide.
This change added tests and can be verified as follows:
mvn test -pl flink-table/flink-table-runtime -Dtest=JsonFunctionsITCaseJSON_LENGTHcovering scalars, arrays, objects, andNULLinput inJsonFunctionsITCaseDoes this pull request potentially affect one of the following parts:
@Public(Evolving): yesDocumentation
Was generative AI tooling used to co-author this PR?